invertible function and inverse of F